Tools and algorithms for the construction and analysis of systems - 5th International Conference, TACAS '99, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 : proceedings
- Författare
- Joint European Conferences on Theory and Practice of Software 1999) (Amsterdam : W. Rance Cleaveland International Conference on Tools and Algorithms for the Construction and Analysis of Systems 1999) Amsterdam :
- (W. Rance Cleaveland, (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1999 | Tyskland, Berlin | 443 sidor. ill. |